// Generated from mccproperty.g by ANTLR 4.0
package parser;
import org.antlr.v4.runtime.tree.*;
import org.antlr.v4.runtime.Token;

public interface mccpropertyVisitor<T> extends ParseTreeVisitor<T> {
	T visitComparer(mccpropertyParser.ComparerContext ctx);

	T visitSimple_formula(mccpropertyParser.Simple_formulaContext ctx);

	T visitXor(mccpropertyParser.XorContext ctx);

	T visitComplex_expression(mccpropertyParser.Complex_expressionContext ctx);

	T visitInteger(mccpropertyParser.IntegerContext ctx);

	T visitProperty_set(mccpropertyParser.Property_setContext ctx);

	T visitAnonymous_bindings(mccpropertyParser.Anonymous_bindingsContext ctx);

	T visitProperty(mccpropertyParser.PropertyContext ctx);

	T visitMop(mccpropertyParser.MopContext ctx);

	T visitUntils(mccpropertyParser.UntilsContext ctx);

	T visitIfs(mccpropertyParser.IfsContext ctx);

	T visitSpace(mccpropertyParser.SpaceContext ctx);

	T visitSimple_formula_liveness(mccpropertyParser.Simple_formula_livenessContext ctx);

	T visitOperator(mccpropertyParser.OperatorContext ctx);

	T visitNot(mccpropertyParser.NotContext ctx);

	T visitAlgebra_operatorm(mccpropertyParser.Algebra_operatormContext ctx);

	T visitSimple_expression(mccpropertyParser.Simple_expressionContext ctx);

	T visitComplex_formula(mccpropertyParser.Complex_formulaContext ctx);

	T visitSimple_formula_next(mccpropertyParser.Simple_formula_nextContext ctx);

	T visitAlgebra_operator(mccpropertyParser.Algebra_operatorContext ctx);

	T visitSimple_formula_comparer(mccpropertyParser.Simple_formula_comparerContext ctx);

	T visitIdentifier(mccpropertyParser.IdentifierContext ctx);

	T visitSimple_formula_const(mccpropertyParser.Simple_formula_constContext ctx);

	T visitX(mccpropertyParser.XContext ctx);
}